Automated Transformation of BMF Programs
نویسندگان
چکیده
Transformation is key to any program improvement process and a key to successful transformation is the medium in which it takes place. BMF (Bird-Meertens Formalism) is a medium specialised for program improvement via incremental transformation. While much theoretical work exists, there has, to date, been a paucity of actual implementations employing BMF in an automated process of program improvement. In this paper we describe such an implementation, targeted to distributed architectures.
منابع مشابه
Compilation of Parallel Applications via Automated Transformation of BMF Programs (Summary of Thesis)
Transformation is crucial to any program improvement process. Highly transformable notations pave the way for the application of deep and pervasive program improvement techniques. Functional programming languages are more amenable to transformation than their more traditional imperative counterparts. Moreover, functional programs specify only true dependencies between values, making improvement...
متن کاملCompilation of Parallel Applications via Automated Transformation of BMF Programs (Abstract of Thesis)
متن کامل
Unbounded and Bounded Parallelism in Bmf. Case-study: Rank Sorting
BMF is a formalism that allows us to design parallel programs independently of the target architecture, and to transform the programs into more efficient programs using equational reasoning. We show in this paper that even the abstractness of BMF is very high, bounded and unbounded parallelism can be expressed in this model, and also that BMF allows us to transform a program into different vari...
متن کاملAutomated Complexity Analysis for Prolog by Term Rewriting
For term rewrite systems (TRSs), a huge number of automated termination analysis techniques have been developed during the last decades, and by automated transformations of Prolog programs to TRSs, these techniques can also be used to prove termination of Prolog programs. Very recently, techniques for automated termination analysis of TRSs have been adapted to prove asymptotic upper bounds for ...
متن کاملFunctional cooperation of the proapoptotic Bcl2 family proteins Bmf and Bim in vivo.
Bcl2-modifying factor (Bmf) is a member of the BH3-only group of proapoptotic proteins. To test the role of Bmf in vivo, we constructed mice with a series of mutated Bmf alleles that disrupt Bmf expression, prevent Bmf phosphorylation by the c-Jun NH(2)-terminal kinase (JNK) on Ser(74), or mimic Bmf phosphorylation on Ser(74). We report that the loss of Bmf causes defects in uterovaginal develo...
متن کامل